special trig limits proof